set(KMPKG_POLICY_EMPTY_PACKAGE enabled)
if (KMPKG_USE_HEAD_VERSION)
	set(KMPKG_HEAD_VERSION "detected-head")
endif()
